@TalLinzen what is the motivation for `check_version`?
I guess to be able to mute certain messages...
My problem with this is that we add another parameter but that this won't change a lot since it still defaults to true ...
I'm therefore -0.5 for this parameter. 
You can simply manually edit the version.txt file.