Modified .gitignore to avoid problems like those from two commits ago