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