stay with Vagrant 1.3.5 for now