Some shell utilities