Vagrant returned to fully operational state with hax. And by HAX I mean telling the vagrantfile to install the right version of Java and using the 64-bit SenchaCmd binary rather than the 32-bit one.