Some modifications in the gitignore