Resolve an issue with PHP versions before 5.4