Compiling Cauchy_lipschitz.v in v8.4.