* pad.txt:
* sys/src/mkfile.proto: try MKSHELL, but does not work apparently