session.php: include it in the very beginning of the page