Work around GCC bug 55856. Thanks you very much Tilka for the pull request