Leo 5.0-final: just before running the make-leo script.

Leo build: 20141124101406