Now using the Flask-CAS extension