tiny makefile fixes