(hopefully) fixed travis-ci build errors