Fixes for getting test coverage working again

Xcode 5 does not create .gcda files due to a bug. The workaround used in here has been suggested in the devforums: https://devforums.apple.com/thread/199643?start=0&tstart=0