Fix small issue with makefile