bugfix in makefile