make dist and use pregenerated files