fix downloading the vagrant key, fix #1014