build.py: Bug fix.