[smatcher] fix outdated annotated pathname

[sirmc]

Fixes an issue where the default setup does not use the annotated smatch results, giving no coverage of annotated items