PHP 5.3.2 is now supported