mira 3.4.1.1

The patch is no longer necessary.