Я использую Debian Stable 9 (stretch), в недавно обновленной базе данных TZ для таблицы Africa/Casablanca в настоящее время указано isdst=0 и смещение от UTC +01. Со страницы DST в Марокко Wiki...