Second attempt to fix the use of aligned_alloc with BSD