sharing config between travis and jenkins seems non-trivial