Workaround dartbug 13421.
Fix more bugs on options importing.

Remove some print() functions used for debugging.