added dotdeb repo to install php 5.5