Build fix for old version of PHP.