s/debian/sprezzos/ in a few places