remove now unneeded file