I've the problem that my home directory is actually located on a remote server and with ~/.vagrant.d sitting on that server, the performance of vagrant decreases heavily (and file-server backup size increases). So is there any way to move at least ~/vagrant.d/boxes out of the home directory? Cheers.