fix Travis CI build error