util.c: for aligned_malloc, store original pointer directly