Compiled from this source code using these very helpful intructrions
To download the binary using curl run
curl -o x13ashtml -k https://gist.githubusercontent.com/gka/3b200d57b0db14d058f3/raw/364844106fb8edc0f1fc194c60dc2998aa9723d4/x13ashtml
chmod +x x13ashtml