since none applies any more. The configure script is gone, so there needs to be logic to set PLATFORM.
