Fix datarace during the generation of version-specific Isabelle realizations (fix #503).

The same issue exists for Coq realizations, but since there are no version-specific realizations for Coq, it never triggered. Nonetheless, this commit also fixes it.