Changed play gliff to work under Android. Via #23.