Remove a file that was accidentally added in r142320