In install/vagrant_scripts/ubuntu_x86/bootstrap.sh: Added code to switch
encoding to UTF-8.