short command-line utilities