New review comment by paper42 on void-packages repository

https://github.com/void-linux/void-packages/pull/41619#discussion_r1070566073

Comment:
```suggestion
	vsed -e 's/\[\[//g' -i filters/sh-filt.l
```
and the same in post_configure