upgrade to lein 2.5.0