My own customized platform/external/dnsmasq for Venturi aka Galaxy Player 5.0 Custom ROMs