added a patch to this file to avoid an error on loading the corresponding dump files