cbuild.sh: possibility to choose XCODE5 for target tools