Build fix for 32-bit linux