Delete debian-5.5.flag