Fix #include file for gcc port.