hopefully fix travis config