Is this a bug? (Was Re: F20: Cisco vpn does not launch after a couple of wake-ups from hibernate)