[tenta]

ah, in some cases VPN providers push DNS options too, in which case your system DNS will be overridden. Can you check whether that's the case?