vanilla trusty64 vagrant file