Make some adjustments for Linux Mint