Remove some PHP5.2 fallbacks