GNUmakefile modified to make it work on RedHat-well