Fix Travis-CI build errors