Bugfix for runtime-generation script