We need to sort out (in general) whether we go with travis or jenkins btw - it's a pain to maintain both.