Delete tools.php~