Does not build examples (yet), due to technical problems with the older ubuntu version being used by github.