Fix Windows-specific cast...