and another fixup in travis configuration