A very minor issue.
In the file /portable/BufferManagment/BufferAllocation_1.c
There is an include for "FreeRTOS_sockets.h"
The actual header filename is FreeRTOSSockets.h. It doesn't build on a linux workstation without changing the include statement filename to match exactly (case of xxxSockets vs. xxx_sockets)
On another note, the file may not need to be included at all.
Thanks for taking the effort to report this.
The #include statement will be removed in the next release.