starting with just fixing setPGTStorageFile for phpCAS 1.3.x