Fix compilation of atdgen (reported in #592)