math/: Distribute the `mpx-mul4' test vectors, with the correct name.