Convert dump file name to interpolated string