Remove support files obsoleted by r2751.
These files were inadvertently left in place when r2751 was committed.