Bugfix: compler error for kernel 3.12.6