added workaround to issues with XCode 5.1 (clang 3.4) which broke C-extensions.