182814336a
- also update the extract_opts.py as it was not working fixes bug #1173201 Change-Id: I348c9d37900deb520d04b3e3855012da2cdf8236