Bug: still asked for options.config