Не удается изменить время ожидания grub в Linux Mint 18

новый ноутбук, но те же привычки: я хочу, чтобы таймер grub для загрузки был на 1 секунду вместо 30 при выборе между windows и linux. Поэтому я поступил как обычно:

1. vim /etc/default/grub
2. заменить на GRUB_TIMEOUT=1
3. update grub

(все вышеперечисленное из корневого терминала, конечно)

однако, таймер застрял на 30 секунд.

я делал это много раз раньше, единственное, что изменилось are:

• новый ноутбук (Toshiba Portege, 13.3")
• более новая версия Linux mint (18 Sarah xfce)

Я что-нибудь пропустил? Есть изменения между Минт 17 и 18?

My /etc/defaults/grub выглядит так

GRUB_DEFAULT=0
#GRUB_HIDDEN_TIMEOUT=0
#GRUB_HIDDEN_TIMEOUT_QUIET=true
GRUB_TIMEOUT=1
GRUB_DISTRIBUTOR=`lsb_release -i -s 2> /dev/null || echo Debian`
GRUB_CMDLINE_LINUX_DEFAULT="quiet splash"
GRUB_CMDLINE_LINUX=""