Fix https://github.com/julianhyde/optiq/issues/143, "Remove dependency on eigenbase-resgen".