Linux build fix