changed tools version to 4.0 for OSX.