Another WSGI runtime config tweak