If it doesn't matter that these paths break on different users machines, can this file be git-ignored?