Hopefully fix issue with Travis