Bugfix for makefile