makefile tweaked to run on Red Hat