No, there is one `$_SESSION` in `lib/functions` and another in `start.php`. Can you change the `start.php` one?