android: use my patched repos for easier syncing