Explicitly disable flags when packages are not present.

This is because the presence of flags on the command line may be
tested by setup.ml to make sure the corresponding package variable is
correctly defined (see the package "archimedes" for such a use).
Use an acceptable formulation of the filter for OPAM.