Use the recent mem_alloc_tiny() bugfix for size zero even when not
-DDEBUG because returning a pointer might be asking for problems.