Added class_session_compat.php for PHP5.3, added option to use it