Fix bug in get_vagrantfile_content