作为代替，可以把 Makefile 的 submit 命令稍微修改一下：
submit:
python3 -c "import zipfile; import os; zipf = zipfile.ZipFile('$(shell whoami | cut -d- -f1 | sed -e 's/[0-9]*/&-lab6.zip/')', 'w', zipfile.ZIP_DEFLATED); [zipf.write(os.path.join(root, file), os.path.relpath(os.path.join(root, file), os.path.join('src', '..'))) for root, _, files in os.walk('src') for file in files]; zipf.close()"
这样不用 zip 也能得到和原本输出文件内容相同、格式和名称都相同的文件。
不过好像现在也交不了 orz...