fix results right this time; and add REPLACES to Debian control