Trying to fix Xcode4/Travis-CI compilation error