+21Feb17=======================================================================
+1. Fix sh/dx on 14050 so that it does what one expects.
15Feb17=======================================================================
1. Update UPGRADE.mojo a bit
2. Add local::lib so that it can be used for non-root installations.