Remove bashisms from Makefile.
Minor fix to Makefile to use PROGNAME.