some bits and pieces for travisCI