Base SDK is macosx, not macosx10.8. Makes things work with all new versions of Xcode
Explicit @synthesize to make new Clang happy