Build problem with KAT_and_DRA/ROOT

[loganrjmurphy]

Running into this problem using Isabelle2019

./bin/build.sh
Checking and obtaining Isabelle/UTP AFP dependencies... 
...
AFP entry Show is already installed.
AFP entry Transformer_Semantics is already installed.
AFP entry Triangle is already installed.
AFP entry Trie is already installed.

Building Isabelle/UTP sessions... 

*** [line 4 of "/home/logan_rj/Isabelle2019/src/utp-main-master/contrib/KAT_and_DRA/ROOT"] error: bad input
*** 
*** 
*** ^

[rsoeldner]

@loganrjmurphy Have you been able to resolve this issue; I just encountered the same issue.