Fix Travis CI build error