added (rather primitive) mechanism that allows discriminating between
android and ios env-setting; TODO: implement more elaborate mechanism