Change error_log to watchdog and comment out some noise.
Add hook_cas_user_alter to prepend server name