leiningen downloaded, this is probably a milestone