Add missing file for VagrantFile