Connect to campus VPN with Linux?