frontend deb package name aligned with the name of package produced for v1.3.X.