Fix incompatibility issue with PHP < 5.4