Use the original travis repo