Attempt to make android tools fetching for TravisCI explicit and futureproof