configure: compatibility with Debian 6.