Include prelude company-mode