Session invalidation bug fixed in PHP 5.4.11