(sorry I took some time to come back to this) I’m not entirely sure the #5 of OSD would apply to the binary results (even though they are considered derivative work). GPL does restrict the license of the binary, but it seems MPLv2 allows licensing the binary differently as long as you don’t restrict the code further:

You may distribute such Executable Form under the terms of this License, or sublicense it under different terms, provided that the license for the Executable Form does not attempt to limit or alter the recipients’ rights in the Source Code Form under this License.