Fix Travis-CI build error