Fix PROPER build for RHEL5 (issues with old boost). #4598