fix a bug that deleted source files are not added to modified source list