Having spent more time on this I found a fix on my machine (right now with kernel version 3.8.0-29).
Updating the line 13 of include/uapi/linux/netfilter_ipv4.h from:
#include <limits.h> /* for INT_MIN, INT_MAX */
to:
#include <linux/limits.h> /* for INT_MIN, INT_MAX */
fixed the issue.
Having spent more time on this I found a fix on my machine (right now with kernel version 3.8.0-29).
Updating the line 13 of include/ uapi/linux/ netfilter_ ipv4.h from:
#include <limits.h> /* for INT_MIN, INT_MAX */
to:
#include <linux/limits.h> /* for INT_MIN, INT_MAX */
fixed the issue.