Remove a useless file, clean .gitignore