Fix setup-android to rename boost dir correctly.