Don't use libc++ because of the linkage problem thanks to cplex.