The file lib/isabelle/realizations.xxx was updated depending on the
version of Isabelle detected at configure time. As a consequence, it was
too easy to mistakenly update only one of the files. Yet, both files were
identical since both drivers were the same. So, the added complexity was
not warranted.