Fix #1188: PHP 5.2.6 bug breaks FPF