[PD-dev] [ pure-data-Patches-3031733 ] mobile port fixes: Android, iPhone, embedded Linux