fix old import in wsgi webserver