Add GCC attributes when compiled with gcc. This helps find out if

we're using the printing functions correctly or not.

I used the corresponding attributes found in the header files of my
Linux installation.