make autotxn an option