Avoid warnings on Fedora. #4336