Simplify the code of usage() in pgrm.sh.