* htdocs/inc/smarty.php: fixed Debian support