tweaking ExecutionEngine initialisation.