Align definition of HPHP::smart::Allocator:destroy() with the C++11 one