Yes, that is correct. I am using plan9port not Inferno.