Ensure that a good prototype for aligned_alloc is available (again)