Remove now unneeded file.