PORT-3: Ported to IEEE1516e on Windows now. Time to address
the platform specific installers.