can be omitted by using [this suggestion](https://github.com/RIOT-OS/RIOT/pull/932/files#r12375209)