Rename debian -> deb. #21
Fixups after renaming debian -> deb. #25