.gitignore has not ignored Makefile ...