Naive fix for getting $DISTRO.name on linux

Please test, as I on OS X and cannot really test this myself