Minor adjustments to makefile