Android port actually works now.