Fix path of CONFIG_OPTIONS