print source file name when resolving