PHP 5.6 available with dotdeb