added linuxmint17 as a distro