tweaks to the distro script
tweaks to the distro script

mbeddr/mbeddr.core,mbeddr/mbeddr.core,mbeddr/mbeddr.core,janosch715/mbeddr.core,janosch715/mbeddr.core,mbeddr/mbeddr.core,janosch715/mbeddr.core,janosch715/mbeddr.core,mbeddr/mbeddr.core,janosch715/mbeddr.core