* Fixing compilation warning under linux