Cache compiled webppl header