Yes. I'm sorry about your loss of progress, but the second android port was made by someone else (unofficially).
