compiled-headers in C/C++ makefiles improvement from Jens