Purtroppo non posso vedere il file php.ini ma posso modificarne il contenuto e, ovviamente, visualizzarlo:
www.struzzoreload.com/info.php è il phpinfo() del server
Grazie intanto per la dritta!
Effettivamente non avevo notato che session_unset non deve essere usato nel mio caso.