Another attempt to fix is32 building