Fix compilation on 64 bits linux