This avoids https://savannah.gnu.org/bugs/?61720. Problem existed since version 5.8, commit 74c6bdac.