Remove unneeded checkout in make.py.