- Correction of compilation problem on linux 64bits