Additional info: I get the same error message when trying to run the Debian binaries from www.plt-scheme.org.
![[logo]](/logo.png){kind=logo}