Delete a file that was supposed to be removed in r198614 for real.