fix gzfile_basic.php

This test failed on tuseday from a file race. Some other test uses the same name. I also preemptively fixed another one I saw.

hphp/test/zend/good/ext-zlib/gzfile_basic.php

@@ -5,7 +5,7 @@ is a very common test
 for all languages
 EOT;
 $dirname = 'gzfile_temp';
-$filename = $dirname.'/plainfile.txt.gz';
+$filename = $dirname.'/gzfile_basic.txt.gz';
 mkdir($dirname);
 $h = gzopen($filename, 'w');
 gzwrite($h, $plaintxt);

hphp/test/zend/good/ext-zlib/gzfile_basic2.php

@@ -5,7 +5,7 @@ is a very common test
 for all languages
 EOT;
 $dirname = 'gzfile_temp';
-$filename = $dirname.'/plainfile.txt';
+$filename = $dirname.'/gzfile_basic2.txt';
 mkdir($dirname);
 $h = fopen($filename, 'w');
 fwrite($h, $plaintxt);

hphp/tools/import_zend_test.py

@@ -617,6 +617,10 @@ def walk(filename, source):
             os.path.basename(full_dest_filename).replace('.php', '.csv'))
     if '/ext-spl/SplFileObject_rewind_error001.php' in full_dest_filename:
         test = test.replace("?>", "unlink('SplFileObject_rewind_error001.csv');\n?>")
+    if '/ext-zlib/gzfile_basic.php' in full_dest_filename:
+        test = test.replace("plainfile.txt.gz", "gzfile_basic.txt.gz")
+    if '/ext-zlib/gzfile_basic2.php' in full_dest_filename:
+        test = test.replace("plainfile.txt", "gzfile_basic2.txt")
 
     file(full_dest_filename, 'w').write(test)