fix GNUmakefile