Fix build.py.