Issues with the Debian devkit 1.0.7 have been fixed. Please update your Debian devkit to 1.0.7.1, if you have previously installed the 1.0.7 version. The old version is no longer available. See [1] for details. [1] http://scratchbox.org/ Regards, Jussi