update SDK 10.8; fix 32-bit build; use EXPORT