Add session.php to installation