output INFO from tools to stderr by default