The configure script now outputs the parameters it was fed with in
config/coq_config.ml