another try at Travis for Android