Small adjustments to makefile