fix compiler warning on 64bits linux host