[PD-dev] [ pure-data-Bugs-2862228 ] checkout-developer-layout.sh misses a $