[Bug 637189] webui/live_build_log: uses weird space characters