Modified makefile slightly, to comply with .gitignore