handle source-highlight correctly in the gnu explore