/* written by build.mjs */