Fixes for PHP 5.3

Also, re-enable builds for PHP 5.3.