No matches were found for subject:"Bug#993522\: buildbot\-worker\: Setting WORKER_OPTIONS to any non\-empty value doesn't work"