Just a Travis script change for Bug 1017101