bumped up MINA to a newer version