FIX compiler errors from Linux 3.4.12