util.ht is now in doc
make dist and use pregenerated files