Hi everyone, Sorry about this - two simple changes to Makefile.def we had missed during our first libgrust/ patchset, plus the associated regen of Makefile.in in each commit.
Let me know if I should squash them together. I'll follow them up with our entire patchset. Best, Arthur