Remove spurious file. Should really be in the top level .gitignore...