allow debian >= 7.0 to use dotdeb PHP 5.5 repository