Playing with PHP 5.6.2 again for Circle CI