bugfix for Makefile