fix atdgen 1.2.3 (again)