Allow user to disable GiNaC::compile_ex (e.g. for security reasons).