Merge "Upgrade to mksh R57."
am: 66875a42ae

Change-Id: If14b1c41c3e83eba52d5a5c4b3ec70b10e9abb5d