fixes in OSX setup scripts