Correcting name of the 32-bit Virtualbox installer