make the debug headers thing work again