some command line tools