remove a spurious file (left over from debugging)