(minor) Delete unneeded file