Correct the mavericks iso generator