* Linux build fix.