The following patches address DICE-related problems in the October OpenTC
snapshot release:

names_malloc_free_20061120.diff
loader_malloc_free_20061120.diff

The names package can be patched as follows:

#> cd .../l4/pkg/names/server/src/
#> patch -p0 < .../names_malloc_free_20061120.diff

The patch for the loader package is to be applied analogous.