Adapt to new platform

1 job for 19-gdiff-for-jsonnode-utterly-broken in 32 seconds (queued for 1 minute and 35 seconds)
Status Job ID Name Coverage
  Test
failed #22513
build

00:00:32

 
Name Stage Failure
failed
build Test There is an unknown failure, please try again
Error [cleantest.icl,41,]: ExprChar not defined
Error [cleantest.icl,41,]: <pattern> (curried) application not allowed
Error [cleantest.icl,41,]: ExprInt not defined
Error [cleantest.icl,41,]: <pattern> (curried) application not allowed
Error [cleantest.icl,41,]: ExprInt not defined
Error [cleantest.icl,41,]: <pattern> (curried) application not allowed
Linking...
Finished making.
ERROR: Job failed: exit code 1