fix pisilinux name