My Python dev Vagrantfile