Fix travis/android (again ... )