run_external_tool should find the path automatically. If it fails after this change, let me know using ticket #242.