I installed sstp-client 1.0.9 and network-manager-sstp 0.9.6 as is explained in https://12vpn.net/downloads/sstp-for-ubuntu-13-04/ but no SSTP appears...