removed a file that slipped into git accidentally