Try to fix lein auto-downloading per @logaan