Use buildkit.py.