Use WSGI server even when developing