external_tools.patch
