fix travis build

At least, I hope so!