instructions for installing correct version of lein