Use the better hash multiplier for __generic_hash