Makefile: Improve the shell script of `commands`

Piping grep into sed is usually superfluous.