update Smarty to 3.1.13