Updating gitignore due to changed KRB filename