remove PHP 5.2 shims