make wsgi_eager.py the default