Build fix for Fedora.

Fixes #6250