Also because `lib.zip` is the filename used in `main/appengine_config.py` (when on GAE).