Fix distro name for some more platforms (e.g. Raspbian).

Please double check if that works on at least as many platforms as the previous version... It should :)