fix successfully loaded source files not being recorded