some ultimately useless attempts to fix the MacOS problem