fix bug with 64bits arch