[m-rev.] for (possibly post-commit) review: simplify the creation of .int files

[Zoltan Somogyi]

On Fri, 15 Feb 2019 06:06:43 +0000 (UTC), Julien Fischer <jfischer at opturion.com> wrote:
> No, you can go ahead and commit it; tonight's ROTD build will act as
> a further test of it.

Thanks; done.

Zoltan.