Use slow path for PHP 5.3 only; fix #851