#5181: external tools was fixed