[FIXUP] correct paths in sage-grep*