On Windows and macOS, those binaries are now bundled in packages. On Debian,
one can use the official x13as package.