https://gcc.gnu.org/bugzilla/show_bug.cgi?id=36831
--- Comment #6 from mmokrejs at gmail dot com ---
I am on Gentoo Linux but 5.4.0 is nevertheless still unavailable for general
("stable") users. For a good reason. And as I said, the ABI is not compatible.
I will try to reproduce this on another host with 5.x series.
