fix Linux build