Add fix_gzip.php
Write tool script