Ok, I have found what was my problem thanks to the very kind maintainer of resolvconf package; for who is interested, details can be found in this page http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=319992 towards the end of it.