root/dev-pypi: links for vagrant-debian