Tagged autoconf-warning by guillem@debian.org