I think we should make this an error. It should be pretty easy for whoever makes changes to configure.in to also include a patch for configure. /Johan