Fix for building on 32-bit linux