extensions.webcl.os-console-output now defaults to false