added: ignoring options.ini