SDKROOT for macosx10.8 in platform.mk