Batcher: Use a mutex for synchronization; see #19