Switch to PHP 5.5.8 for a test