Fix Travis-CI build