DEBUGGER: Add FIXME comment about file name vs base name