simplify --with-linux option handling and do no Linux-specific magic. Instead let one explicitly disable/enable it.
simplify --with-linux option handling and do no Linux-specific magic. Instead let one explicitly disable/enable it.

devzero2000/RPM5,devzero2000/RPM5,devzero2000/RPM5,devzero2000/RPM5,devzero2000/RPM5,devzero2000/RPM5,devzero2000/RPM5