reverting to pre-Gzip build.py