fix travis repo name