acse-xtext-knuth-binaries