minor edits for Gentoo/IcedTea