fix 32-bit linux build/likely gcc bug