Add compatibility for Linux Mint 17