Fix bad filenames in .giignore and makefile