Try also PHP 5.3.2