generalize libname setting in init message again

[ranocha]

5 was reverted when running the generator again, so I modified the prologue as well.

[NicolasRiel]

yes sorry, I thought a previous issue I had was coming from that, but it had nothing to do with it