changed default to 32 bit vagrantbox