Another fix for the Travis-CI build script.