STM: let toploop plugins specify the flags for STM workers