fix broken Travis tests?