[m-dev.] compiler not building with --intermodule-optimization

[Julien Fischer]

On Thu, 8 Mar 2018, Zoltan Somogyi wrote:

> Fixing either problem should make the above warning
> disappear, but it would be nicer to fix both.

In the interim, do you have any objection to me disabling the warning
for that module (and any others so affected).  This is preventing us
from bootchecking the compiler at higher optimization levels.

Julien.