Stellt sich mir nur noch die Frage warum ein make clean diese Datei löscht?!
Hm, ich denke, diese Datei wird erst beim Bauen erzeugt und ist systemspezifisch. Ergo gehört sie nicht zu den "nackten" Quellen und es ist somit ok diese zu killen bei einem "clean".
Das ist eine Vermutung. Dazu müßte ich jetzt im Source herumgraben, aber ... wenn's nicht sein muss ... :whistling: