Fix naming of deb