Alias for Leiningen.