Minimal DNS library for android