android: use my art repo patched for gcc 4.8