Should the make_xxx scripts be run at build time?