C11 aligned_alloc() not supported

[banburybill]

The C11 allocator aligned_alloc() is not currently supported, and so causes an error when memory allocated via that call is freed.