Work around obscure PHP session id regeneration bug