Fix bug with 64bits rustc