Run android with S2E