[releng] Works around bug 536445 in CPS demonstrator
[releng] Works around bug 536445 in CPS demonstrator
viatra/viatra-cps-benchmark,viatra/viatra-cps-benchmark,viatra/viatra-cps-benchmark,viatra/viatra-cps-benchmark