. "$tool"/etc/local.sh