Use standard vagrant box name for Ubuntu 12.04 64bit