fix bin/cfg4dev for mar '14 Xcode cli tools update