Use elpa to manage extensions