We still have a few bugs left to fix, but start out with this so the
Jenkins machinery can be fine tuned in advance.