Patch fix for Linux 3.11