Update build_options.py