generated mina file