Patch projectile, fix git-gutter init, fix b-o-p theme.