jhsto: what OS?