Hopefully fix travis targeting