bugfix in Makefile