Eliminated a couple of (benign) warning messages.
Fixed a regression in the handling of the --platform configure.py option.
Fixed a regression introduced when getting rid of warning messages.