How we are building Audacity 4