Attempt to fix travis compilation error