Delete tools.php