added the mina extension