Cleanup: remove file that was probably accidentally added.