Changed rpi distribution name to raspbian