Bugfix in makefile build system