Updated CentOS 6.4 distro + Fix naming bug in vm.box