GNU shell utilities
