Fixes for the user menu
Adding htmlcxx for libenv