Fix for mistaken commited options.cfg