Remove *.def from .gitignore