Fix #84: PHP 5.3 build failing