scripts and crash workaround (not ready for push to central repo)