Minor tweaks to gitignore and makefile