Hopefully fix travis builds