fix building of Makefile