Update allocator.c

Fixes to sal_free