Build configs updates.

Updates to `build_configs.py` based on Kyle's review feedback.

Open question: Should `build_configs.py` be placed in util/ dir? My vote is yes. It feels like a more natural spot, especially when included in the release tarball.