leiningen proxy