Attempt to fix Debian detection on the Raspberry