Previous rename breaks autoconf; repaired