Changed to a version of phpCAS that loads cas

In the previous version phpCAS wasn't loaded...