Hey, can I just copy the plugins in to the extensions' folder of a SuperCollider running on Raspberry Pi 4?