Python unbuffer the Vagrant file