DNS priority while using Private Internet Access with OpenVPN in linux environment

See also my answer here: