Fix compilation with libbatch only