[gerlin2010]

My understanding is that Mint is heavily based upon Ubuntu and assumed there might be none such differences. Thanks for the suggestion -- I will definitely investigate in that direction.