Ubuntu

Comment 35 for bug 365329

Sorry, the two "chmod" command lines in the end of my previous comment have to read "sudo chmod -r ..." and not "chmod -x ...".