git annoyances: how to force git to fetch a particular file