debian7.6 vagrant file