fixed highlighting for linux systems