Updates to compilation mes-minty-15-lado-b