fix deb name