Fix linux compilation error.