See https://github.com/RIOT-OS/RIOT/pull/1039#r11858113