Stefan Klug's patch to get the old build to work again if the
tree7aeb151da8a21b1ef3eabbce1d8a17435ca76826
drwxr-xr-x - cegcc