Fix linux compilation.