fix vpnc missing ;