don't install Boris in dev-build, since it alters the git repo