GCC compile fix: Added missing header file