Fix the problematic Leiningen version number