Clean up in tools/run script.