Update MITeX (not sure why it's here ... already under /projects/... meh.