fix Smarty library