Patch for the PHP CAS library to fix discrepancies with the UI's implementation of CAS.