Attempt fix of Travis CI build error.