eom: removed obsolete configure option