IS there any know way in order to convert a certain map or mapset to a shapefile for personal use with GIS applications?