tell wsgi to use prod.py for default settings