.gitignore for soft-soft-links (present only on the SAT machine)