minor changes to gitignore and Makefiles