Trying to fix Travis-CI build (part 2)