I see that I can set DISTRO with the "--with-distro " option on configure.  But I don't see any way to set PACKAGE_EXTRA.  Is there a simple way to do this?

Claude

--