Make things compatible with Vagrant 1.3.5