[Travis]  Changes some options.