Travis says this option is deprecated