Some useful shell utilities