defined header for compiled-from-source GCC (fixed #35)