Files
web2py/scripts/make_min_web2py.py