Makefile: Improve the shell script of `commands`