Fix possible encoding issues in Vagrantfile