> Here is a small patch to replace a #warning with a /* FIXME */ > comment. > Should be just as good without producing a warning. > I suppose so. +1. Fran?ois.