Fix scr.highlight on !OSX