Downloaded VPN configuration file contains hostname, not FQDN

The .ovpn file that gets downloaded from User Portal/Remote Access only contains my Sophos UTM's hostname, not the full server address. Ie it says:

 

client
dev tun
proto udp
remote astaro1.bordo.com.au 443

 

but only says:

 

client
dev tun
proto udp
remote astaro1 443

 

I was able to edit file and get it to work with tunnelblick VPN client on my Mac.

 

I think the same thing happens with the SSL VPN configuration file when I try to install it on iOS. The OpenVPN log on my iPad says, "Transport Error: DNS resolve error on 'astaro1' for UDP session: DNS/RRset does not exist". Unfortunately it looks like it is not possible to edit the configuration on OpenVPN app.

Any suggestions? Running Release 9.506-2.

 

Thanks, James.