maybe this helps to compile eiffeldoc with -sedb again