Ben Pfaff: > the new autoconf Recommends: autoconf2.13 for now. Why not just have autoconf and autoconf2.13 as independent packages which conflict and replaces at each other?