>> Could you try the attached diff? Remember to do "make mps" >> before trying to build to update distinfo. It still builds with >> this on 8.0_BETA, at least. > > Success! It now builds just fine! > > Thanks! You're welcome, and thanks for testing. The new patches have been committed. Regards, - Håvard