Update changes_to_sagelib.patch for sage-5.6