travis.yml: forgot some options