TinyCC support

(Perhaps this should be sent to the TinyCC devel list, but I'll start here..)

I tried compiling pike using the latest TinyCC. It fails when compiling the image-module due to some preprocessing problems:

In file included from /home/marage/src/Pike/7.7/src/modules/Image/image_module.c:23: /home/marage/src/Pike/7.7/src/modules/Image/encodings/encodings.h:36: warning: pasting "img_ilbm" and "##" does not give a valid preprocessing token

This seems a bit strange to me. I've looked at the ANSI-standard for CPP and I cannot see how this use of ## is in violation of the standard. Can someone here verify that the Pike-code is valid and that I should go bug the TinyCC developer instead?