Some scripts for making raspbian images from debian/ubuntu hosts