configure.ac fix for debian platform