Fix for 32-bits builds