remove MacOS remnant (I think)