Avoid macos file system weirdness with git