Shuffle some casts to make builds on bamboo happier.