is also needed before curl can be built in Android, but it's not clear what the best way is to provide one.