Fix for mistakenly commited options.cfg