Remove a file accidentally committed in June