Changed format of printed filenames

Bold filenames instead of wrapping them in quotation marks.