(Finsert_file_contents): When handling REPLACE,