don't make debcmp() an infinite loop argh