Removes obsolete "android-" prefix from Android SDK version