Generated by scripts/build.py; do not edit this directory by hand.
