nova-novncproxy package name -> nova-consoleproxy. Debian particular feature?