Fixed jenkins tests

Testing via jenkins has been "fixed", we see how long this lasts.