(BIN) INSTALL32_IP12
 (BIN) INSTALL32_IP12.ecoff
 (BIN) INSTALL32_IP2x
 (BIN) INSTALL32_IP2x.ecoff
 (BIN) INSTALL32_IP3x
 (BIN) userland.tgz