[Debugger] Oops, forgot to add a file