protodroid: various new scripts for android build