option added to allow user to turn mangling off