Fix #371: check version