Added option to use different AolNotHealth versions