Fix bootstrapping.
Merge topic 'genex-generate-file' into next

04deb90 Fix bootstrapping.