#5161: External tools was fixed