Small change to travis configure script.