J'ai propose à Kevin cette amélioration. Je te laisse patcher le linkeur pour

Ca fait déjà bien trois ans que j'ai commencé à ajouter (mais jamais fini) le support pour le timestamp de compilation, utilisable dans PedroM et Punix... je vais peut-être finir ça d'abord

(Mais ça ne sera probablement pas pour ce week-end: j'ai dit le week-end dernier à un programmeur de user-space que je regarderais probablement le week-end dernier pourquoi son programme ch**, mais je ne l'ai toujours pas véritablement fait...)