(only at build time, at this problem can be overcome by shipping the generated C files).