RED specs that show open_tmp_file bug