Compiles again with atdgen 1.3.1