fix the way platformVersion is retrieved for AndroidSdkPlugin