fix compiler error on 64 bits linux