Avoid using a feature not supported in PHP5.3