make buildable with gcc 32bit