Bug xcode 4

Fixes #4