Add sourcetools.inc.php