Update tools.inc.php