# Hand-fixed after gen-ports.py output; see build/build-batch.sh commit history.