This problem should not be a bug as shown.
@andrewc87 send me his ovpn privately and I found that the server IP cannot be resolved. So it may be an internal DNS or something. Waiting for more info.