Hack workaround for Makefile vs. .gitignore