By the way, I worked around this by modifying ~/.scid5.2/config/options.dat directly