fix compilation on 32bits implementations