 因为才配置好新的Ubuntu环境,请问这里默认使用过的工具只需要提前下载gcc和make吗?还需不需要其他的前置工具才能运行命令下载助教的工具?