This fixes a build problem with kernel >= 3.18.13. This should close #1283. Signed-off-by: Hauke Mehrtens <hauke@hauke-m.de>