Update contrib/debian for autotools, among a few other tweaks