configure: dyngen is long time gone