Try to fix one more potential linux compilation problem.