prefer PHP's session id regeneration