Removed a foreign file that has gotten here somehow by mistake