Debugging servo_build.py