Fix Gentoo bug #463186