HACK: change version to work around mic bug