updated micromanager on mac to 1.4.13