PHP 5.2.13 not available on Travis, revert to 5.2.17 aka 5.2