Add missing patch for dev_appserver.py.