The Linux Mint Distribution

Comment 6 for bug 767085

Following the instructions from Berend, I got the problem fixed. Thanks.