update debian/etc/php.ini: set session.save_path