fix bad php55 dotdeb repo declaration