I think we're using the wrong option names in travis.yml