require PHP 5.3.0-dev for the testing stuff