Skip PHP 5.5 for now.