mpp.0.1.2: make mpp work when sh is a link to dash instead of a modern shell