Fix #34 add platform-specific spec to dns_tools

[skip ci]