Trying to fix debugkit