issue #3113: [Linux] Adding options for modules.