fix for dead filename and linenum