lean2/bin/version