Updating system type for debian