Make highlighting of file names work with gtk3