Smaller pythonlib.zip