am 14bf45f3: Merge "Switch back to mksh as the default"

* commit '14bf45f31d99cdaa5cc0c46efa3f2c2724704173':
  Switch back to mksh as the default