Make weird encoding of "log" command "osx" specific.
Remove "log" command from "Tools" Menu until stable under all platforms.