Refine some OSX settings in setup/osx