Change of philosophy. We do not force the choice of compiler options
from the project, we leave them to the user at configuration. We just
need to display a warning for the option `-ffpe-trap=invalid`.