Moved these scripts to the workaround repo