Avoid duplicate worker launches. Fixes #18.