fix Pisi Linux name