Small fix to makefile