Simpler and hopefully more future-proof fix for bug 503 (aligned_allocator with c++11)