Re: PATCH: EXTRACFLAGS removal from configure