setting up dotdeb and php5.5