removed a file that had been renamed but somehow stuck around