Scripts for batch deodexing a given set of archives in Android.