added the patch of https://savannah.gnu.org/bugs/?37073