Не могу установить часовой пояс mysql на мадрид

Согласно этому вопросу о том, как установить часовой пояс _в mysql и список этого часового пояса , я подумал, что это должно работать:

SET time_zone = 'Europe/Madrid';

Но это то, что регистрирует sqlBuddy:

The following errors were reported:Unknown or incorrect time zone: 'Europe/Madrid'