Release some more packages, fixes in the debian packaging.