(#3904)  Fix build on Fedora.