make the tool's version number optionnal (#12)