Fedora 32 just came out, and it has GCC 10. (Wow, GCC 10!) We run into warnings there; let's fix them.