Use a fixed, released version of lein