[PD-dev] [ pure-data-Patches-3528911 ] Better support for loading externals on Android