Modified repo name in Travis configuration