(ANDROID) config file changes mean we have to explicitly set the system directory in the config file