Automorphism groups of models of first order theories

Some years ago (see [5], Problem 12.14), we asked if every first order theory having infinite models has a model whose automor-phism group has undecidable theory. In this note, we prove that this is true in a strong form. It will be a consequence of our other theorem that there is a right orderable finitely presented group with insoluble word problem