remove a binary that slipped into git by accident