Fix name of debian pkg