use same version for llvm-series
add axiom-environment