Fix #3095: disabling default flags in the cradle is not propagated to hlint properly

[lf-]

There is a lot of detail of the exact issue in #3095.

I assume that all the flags that are not enabled are disabled (the default flags have already been applied at this point; so this is probably actually true).

It seems to fix the issue but it is kind of a hack.