Yeah, I tried deleting, re-checking out and then explicitly moving the file and it still won't work.  It's unfortunate, but I don't think there's a shortcut here.  If we're lucky, it's just github being stupid and not git, but in any case, it's a fairly short file.