[PD-dev] [ pure-data-Patches-3521816 ] Setting externals file extension, check for ANDROID platform