Fix deb name for release