make script work even if ONIONSHARE_PLATFORM isn't set