[PD-dev] [ pure-data-Patches-2978457 ] -nogui audio initialization problems under Debian