factor out calling external commands (and retrieving their stdout) to
util.get_stdout()