Not everyone's happy with the new Linux Mint 18 release