fix for debugkit