Fix #746: src/options: fix build failure against gcc-10