Re: Help needed to fix FTBFS (gcc-10 caused failures)