I'll come back to mem/tlsf_malloc.c issue. Camille asked if the
compiler warnings on mem/tlsf_malloc.c were occurring on x86 32 bit
machine. I now tried and, yes, they do not appear on i386 jessie, but
not on amd64 jessie. So looks like this is the same issue that Ovidiu
has reported.
-- Juha