Use posix_memalign instead of aligned_alloc