Fixing Travis-CI build.