fix version checking of .hi files