git: use run_command() to execute dashed externals