fix filenames in stap