`%(version)s`  is just a bit more readable; if you don't mind, please correct the equivalent mess in the rest of Eigen easyconfigs...