How to fix grub_term_highlight_color