vagrantfile works with sourceforge url