Removing a file supposed to be ignored via gitignore