better error message for unknown configure option