Again with a slightly modified travis.yml