Fix build on 64bits