It seems that sudo apt-get install –reinstall libc6-dbg: amd64 is working for my computer too. Thank you very much to everybody!! 2017-07-15 0:28 GMT+02:00 vincenzo