Add two additional MPSZ formats (4864 bytes version of .mpx and 288 bytes version of .mpz)