Fix bug with PHP before 5.4.0.