(Finsert_file_contents): Decrement specpdl_ptr to avoid double file