A script that cleans up old debug symbols from Audacity Sentry