Build fix for CentOS 5.9.

Fixes #4819