Update Sage patches for Sage 5.11