Tool-launching batch and shell scripts.