32 bit box

Someone was having an issue with the default VM because they have a 32 bit host. This provides an easy alternative.