Merge pull request #7891 from tlipinski/master

Allows installation on Linux Mint Debian Edition