and install to global data base (bad practice, but ok on a throw-away CI
system).