Update location of Aterm.def