fix deb name [skip ci]