My customizations to zprezto