use virtualbox 4.2
change the default color theme