To ensure that @@platform doesn't remain uninitailized in set_platform()