sorry! I have to correct myself: I found the file in the usr/lib/x86_64-linux-gnu AND in the ZIP from the Sources link here on the website. I post here also the file if it helps: please remove the txt.Read More...