Remove some workarounds for older PHP 5.3 versions.