meaning, the rename indeed happens at configure time already, so yeah. I did start with wanting to do that at build time, hence why it's using commands, but I've then changed it. Less code to create then 🙂.