Xcode builds ("make xcode"): detect version number correctly