changes for os_type in pretty/error_details