- Fix options.mk -auditor. Problem if disabled