Conversion is now generated by Makefile, on demand, rather than all at once.
Manually verified no net change in generated code.