Fix repo errors in the build_* scripts