Patch to fix travis failures