Fix failure on 32-bit linux