fix: warning for option changes does not work for libsingular

(from master, currently unused as options are in libsingular, not main)