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.