Fix for Linux Mint