mirror of COIN-OR CppAD