Moved phpCAS header code to index.php so that phpCAS stuff can be called everywhere safely.