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