Restore accidentally-removed Android configure flags.