Do not pass "-batch" or "-load-vernac-source" to slaves, avoiding errors in
stm test-suite files.