mit exe