Fixups after renaming debian -> deb. #21