It is a burden to create /*/bin/disk or /*/bin/dir_for_your_new_tool,
and it is easier if mk install creates the BIN directory.
A minor problem is that if you make a mistake you are going to create
a directory that should not be there; but in that case you can remove it.