Add php53.dotdeb.org to hopefully satisfy our needs.