Attempt to fix Linux build error