Re: 4.14.17-300.fc27.x86_64: built with wrong GCC