delete aterm files
activate desugaring for extensions